Êêøùöò Ìýô× Óö Ùò Blockinøøóòòð Óòøøòùùøøóò×
نویسندگان
چکیده
We study the typing of ontrol operators in a language with an ML-style type system. We introdu e a new set of ontrol operators that subsume most ontrol operators that have been proposed for languages su h as S heme or ML. We prove subje t redu tion for the extended language. We also show how the new operators an easily en ode a variety of already known onstru ts: all , shift and reset, ex eptions, referen es as well as new variants of these onstru ts. We also des ribe an implementation of fun tional ontinuations in terms of the more primitive all operator.